Англо-русский экономический словарь.
Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… … Wikipedia
Model elimination — is the name attached to a pair of proof procedures invented by Donald W. Loveland, the first of which was published in 1968 in the Journal of the ACM. Their primary purpose is to carry out automated theorem proving, though they can readily be… … Wikipedia
Stable model semantics — The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program… … Wikipedia
Standard Boolean model — The Boolean model of information retrieval (BIR) is a classical information retrieval (IR) model and, at the same time, the first and most adopted one. It is used by virtually all commercial IR systems today. The BIR is based on Boolean Logic and … Wikipedia
Mental model theory of reasoning — Introduction The mental model theory of reasoning was developed by Philip Johnson Laird and Ruth M.J. Byrne (Johnson Laird and Byrne, 1991). It has been applied to the main domains of deductive inference including relational inferences such as… … Wikipedia
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
MASORAH — This article is arranged according to the following outline: 1. THE TRANSMISSION OF THE BIBLE 1.1. THE SOFERIM 1.2. WRITTEN TRANSMISSION 1.2.1. Methods of Writing 1.2.1.1. THE ORDER OF THE BOOKS 1.2.1.2. SEDARIM AND PARASHIYYOT … Encyclopedia of Judaism
Mark J. Blechner — (born 1950, in Manhattan, New York) is an American psychologist and psychoanalyst. He has developed and researched new ideas in a number of areas: dreams, gender and sexuality, HIV/AIDS, psychotherapy and the interface between neuroscience and… … Wikipedia
List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… … Wikipedia
Principle of explosion — The principle of explosion is the law of classical logic and a few other systems (e.g., intuitionistic logic) according to which anything follows from a contradiction i.e., once you have asserted a contradiction, you can infer any proposition, or … Wikipedia
Kriging — is a group of geostatistical techniques to interpolate the value of a random field (e.g., the elevation, z , of the landscape as a function of the geographic location) at an unobserved location from observations of its value at nearby locations.… … Wikipedia
